more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 18783

[filed under theme 5. Theory of Logic / H. Proof Systems / 4. Natural Deduction ]

Full Idea

Many-valued logics do not have reasonable natural deduction systems.

Gist of Idea

Many-valued logics lack a natural deduction system

Source

Edwin D. Mares (Negation [2014], 1)

Book Ref

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.182